* window.c (set_window_buffer): Clear mouse highlight if it is in
authorChong Yidong <cyd@stupidchicken.com>
Wed, 22 Nov 2006 15:09:54 +0000 (15:09 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 22 Nov 2006 15:09:54 +0000 (15:09 +0000)
commit16b5489b6dc26df807bf4154b290c2edd659316f
treec91f01e6b2005cfc60b0ed9bdf5329625ecd8197
parentdc4aa308201221eff80a5a84497d87814c300379
* window.c (set_window_buffer): Clear mouse highlight if it is in
this window.
src/ChangeLog